松花江冰下声学试验技术研究

北极区域极具战略意义与商业价值,随着各国的广泛关注,针对北极地区开展的科考科研活动逐渐增多。其中北极海域的相关研究尤为重要,特别是北极水声学,是保障北极军事存在以及正常科考科研活动的重要支撑。课题组于2015年1月在哈尔滨松花江进行了冰下声学试验,主要内容包括冰下信道测试、冰层散射系数测量以及冰下水声通信试验,实现了冰下半波导现象的初步观测、冰层前向散射系数的测量、基于能量检测器的低信噪比扩频通信、基于时反镜判决反馈均衡技术的高速水声通信以及冰下12用户多址水声通信等内容。本文对本次冰下声学试验情况进行介绍,并给出了相应的试验结果及经验总结。     

弱拉回平坦序S-系对序幺半群的刻画

设S是序幺半群,借助环模理论以及半群S-系理论方法,在序S-系范畴中研究了弱拉回平坦性质。刻画了弱拉回平坦序S-系关于直积封闭的序幺半群类以及弱拉回平坦性质与其他性质一致的序幺半群类,讨论了循环序S-系具有拉回平坦覆盖的条件,进而推广了S-系的一些重要结果。     

Nonlinear Energy Transfer over the Wave Spectrum in Water Covered by Solid Ice

On the basis of the hydrodynamic equations for nonlinear elastic-gravity waves beneath a solid ice cover and their Hamiltonian representation, a three-wave kinetic equation for the time evolution of the wave spectrum is formulated. The properties of the kernel of the kinetic integral describing the nonlinear interactions between wave triplets are investigated. An algorithm for numerically calculating the kinetic integral is developed. The rate of nonlinear energy transfer over the wave spectrum is estimated quantitatively and its most important characteristics are found.     

Phase transitions in lattice gas models for water

Water-like lattice gases on the triangular and body-centered cubic lattices are investigated. Molecules may reside on the lattice sites in either of two possible orientations, a hydrogen bond being formed between molecules on neighboring sites if they have the proper orientation with respect to one another. For a range of chemical potential at sufficiently low temperatures, the models are shown to have an ordered phase consisting of an open, hydrogen-bonded, icelike structure. The models are shown to be transitionfree at sufficiently high temperature, indicating the existence of a critical point.Research supported in part by the U.S. National Science Foundation, Grant CHE-7726177, and by The Robert A. Welch Foundation, Grant P-446.     

A graph theory approach to subcontracting, machine duplication and intercell moves in cellular manufacturing

We address in this paper the problem of finding an optimal strategy for dealing with bottleneck machines and bottleneck parts in the cell formation process in group technology. Three types of economic decisions are considered: subcontracting, machine duplication and intercell moves. The problem is formulated as a minimum weighted node covering problem in a hypergraph, and we show that it can be solved in polynomial time by finding a maximum weighted stable set in a bipartite graph. We extend this result to cellular manufacturing systems in which the sequence of operations of each part is known in advance.     

关于中紧性的注记

本文利用良序单调复盖、内部保持复盖、次ｏｒｔｈｏ－紧及垫状加细等刻画了中紧性。其次，证明了空间是中紧的当且仅当它是中可膨胀的且具胡性质ｂ。它们分别改进了文献［１］、［２］的相应结果。     

Cover and Bounded Parallel Faces

We use the cover or the closure of the cover in order to determine when two disjoint closed convex sets have parallel faces, one of them being bounded. Moreover, we show that the study of the closure of the cover gives interesting results about the cover itself.     

一种完备完全分配格上矩阵方程的求解方法

模糊理论已经在决策、模式识别、故障诊断、过程控制等许多方面得到了广泛应用，在这些应用问题求解中往往要遇到求解模糊关系方程。本文从完备完全分配格的角度给出了一种求解模糊关系方程极小解的完备解法，并用计算机实现了提出的算法，为实际问题求解计算机化打下了基础。     

Use of Temperature- and Humidity-Dataloggers in Food Engineering

The use of dataloggers in food engineering is discussed in two examples. The first example describes the measurement of temperature and humidity in a bulk tank car during transport and unloading. In the case of wheat flour the relative humidity in the air raises from about 80% r.h. to values near 100% r.h. at the air compressors for pneumatical unloading start working. The second example shows the use of the datalogger in education on heat transfer. The device was fixed in an ice cream sample which was placed in a store at –25°C. The measured hardeningtime agrees well to theoretical heat transfer calculation.This revised version was published online in November 2005 with corrections to the Cover Date.